Inhalt des Dokuments
Forschung
-
Artikel erschienen in der Zeitschrift "Acta Informatica"
Der Artikel "Coupled Similarity: The First 32 Years" von Benjamin Bisping, Uwe Nestmann und Kirstin Peters ist am 15.05.2020 in Acta Informatica, 57(3), 439-463 erschienen. (10.1007/s00236-019-00356-4)...
-
EPRESS/SOS 2020 - Programmkomitee
Uwe Nestmann wurde ins Programmkomitee zur EXPRESS/SOS eingeladen.
-
Artikel zur Veröffentlichung akzeptiert
Der Artikel "Distributability of Mobile Ambients" von Kirstin Peters und Uwe Nestmann wurde am 5.12.2019 für die Publikation in einer speziellen Ausgabe von Information and Computation, die ausgewählten Arbeiten...
-
Artikel zur Veröffentlichung akzeptiert
Der Artikel "Coupled Similarity: The First 32 Years" von Benjamin Bisping, Uwe Nestmann und Kirstin Peters wurde für die Veröffentlichung in Acta Informatica akzeptiert.
-
ABZ 2020 - Programmkomitee
Uwe Nestmann wurde ins Programmkomitee zur ABZ 2020 eingeladen.
-
Artikel akzeptiert (EXPRESS/SOS 2019)
Artikel "Immediate Observation in Mediated Population Protocols” akzeptiert bei EXPRESS/SOS 2019 (Co-Autoren Tobias Prehn und Myron Rotter)
-
Artikel akzeptiert (TACAS 2019)
Artikel "Computing Coupled Similarity” akzeptiert bei TACAS 2019 (Co-Autoren Benjamin Bisping und Uwe Nestmann)(Rate 29/119, 24%)